Knihy od autora Ferruccio Damiani

Zobrazené 1 – 7 z 7 výsledkov

1. 

   Formal Methods for Executable Software Models

   Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.87 €

   Kúpiť
2. 

   Types for Proofs and Programs

   Stefano Berardi, Mario Coppo, Ferruccio Damiani | Springer, Berlin, 2004

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.87 €

   Kúpiť
3. 

   Formal Verification of Object-Oriented Software

   Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   64.62 €

   Kúpiť
4. 

   Formal Methods for Components and Objects

   Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.87 €

   Kúpiť
5. 
   Novinka

   Active Object Languages: Current Research Trends

   Frank de Boer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Eduard Kamburjan | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   95.86 €

   Kúpiť
6. 

   Types for Proofs and Programs

   Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.87 €

   Kúpiť
7. 

   Coordination Models and Languages

   Ferruccio Damiani | Springer Nature Switzerland AG, 2021

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 17 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.87 €

   Kúpiť

Vracajúci sa zákazníci majú zľavy a ďalšie benefity. Zistite viac